Example dataset for the hMRI toolbox

Informatics software for the ecologist's toolbox: A basic example

Article history: Received 19 February 2005 Received in revised form 7 March 2006 Accepted 15 March 2006 Machine learning techniques for ecological applications or “eco-informatics” are becoming increasingly useful and accessible as software for these techniques becomes more readily available. Complex ecological data sets with a multitude of variables are also increasingly available. Ecologists,...

A Toolbox for Counter-Example Analysis and Optimization

Counter-examples are produced by formal verification engines to witness failures of safety properties. A counterexample is a sequence of input assignments bringing the design from the initial state into a state where some property fails. In practice, these input assignments contain redundancies. This paper focuses on methods for analyzing counter-examples to detect don’t-care, optional, and ess...

A Dataset for StarCraft AI & an Example of Armies Clustering

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Electromembrane Processes, a Toolbox for Advanced Separations

the search for the self in becketts theatre: waiting for godot and endgame

this thesis is based upon the works of samuel beckett. one of the greatest writers of contemporary literature. here, i have tried to focus on one of the main themes in becketts works: the search for the real "me" or the real self, which is not only a problem to be solved for beckett man but also for each of us. i have tried to show becketts techniques in approaching this unattainable goal, base...